Authoring specification- and test-based Java exercises with JExercise
نویسندگان
چکیده
Programming exercises are in important part of an introductory programming course. It is, however, difficult to design exercises that force the students to learn what they should. In this paper we describe an approach to designing Java exercise based on precise specifications and testing and Eclipse plugins for supporting both the student and exercise author.
منابع مشابه
Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System
The KeY system allows integrated informal and formal development of objectoriented Java software. In this paper we report on a major industrial case study involving safety-critical software for computation of a particular kind of railway time table used by train drivers. Our case study includes formal specification of requirements on the analysis and the implementation level. Particular emphasi...
متن کامل<e-QTI>: A Reusable Assessment Engine
is a highly modular and extensible engine that simplifies the assessment cycle in terms of generation, execution, presentation, grading and archiving. is based on the IMS QTI specification but it is able to export and import assessments represented in a wide range of formats, and also to maintain a pool of questions that can be reused in a wide variety of authoring situations. T...
متن کاملTechnical Report no . 2003 - 05 The KeY Tool 1 Wolfgang Ahrendt
KeY is a tool that provides facilities for formal specification and verification of programs within a commercial platform for UML based software development. Using the KeY tool, formal methods and object-oriented development techniques are applied in an integrated manner. Formal specification is performed using the Object Constraint Language (OCL), which is part of the UML standard. KeY provide...
متن کاملAn Introductory Tutorial on JastAdd Attribute Grammars
JastAdd is an open-source system for generating compilers and other language-based tools. Its declarative specification language is based on reference attribute grammars and object-orientation. This allows tools to be implemented as composable extensible modules, as exemplified by JastAddJ, a complete extensible Java compiler. This tutorial gives an introduction to JastAdd and its core attribut...
متن کاملApplying an Automated Test Description Tool to Testing Based on System Level Requirements
A partially automated process for generating test procedures has been experimentally applied to a portion of the Software Requirements Specification for an Air Traffic Management system. This process uses algorithms based on formal logic to automate some of the more tedious and error prone aspects of deriving test procedures from requirements. This approach is particularly well suited to functi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007